检索结果

Select

1. 基于对象时空Petri网的CPS建模与仿真

邓亮亮, 张立臣, 姜文超

《计算机应用》唯一官方网站 2023, 43 (11): 3334-3339. DOI: 10.11772/j.issn.1001-9081.2022111759

摘要（168）

HTML （8）

PDF （2582KB）（110）

信息物理融合系统（CPS）是一个融合了计算、控制、通信和物理元素的分布式实时反馈系统，但传统的建模方法无法满足CPS对时空性能要求较高的情况。为此，提出结合对象特征的对象时空Petri网（DS-OPN）建模方法。首先，将面向对象封装技术、时空元素融入Petri网中，设计空间和时间描述规则，将相同对象下的场景元素封装到同一对象子网系统模型中。其次，定义聚合规则，聚合各个子网模型，使这些模型能够描述CPS物理拓扑环境中的对象变化过程。最后，以交通CPS为例，建模和仿真分析自主控制超车系统的动态行为；同时，建立模型的可覆盖性树和关联矩阵分析验证模型的可达性、安全性等性质。实验结果显示，DS-OPN建模方法建立的模型对系统流程的逻辑结构表现清晰，对时空因素的计算准确，在实时性和安全性上能满足CPS的要求，验证了该建模方法的有效性和安全性。

图表 | 参考文献 | 相关文章 | 多维度评价

Select

2. 基于面向对象的MDA三级建模技术研究

黄建庭张立臣古金峰

计算机应用 2010, 30 (2): 385-389.

摘要（1242）

PDF （790KB）（1230）

模型在模型驱动架构(MDA)软件开发生命周期中驱动整个开发过程，建模在MDA中起关键作用，建模是否成功是模型转换的前提，也决定MDA软件开发的成败。通过对当前建模技术的研究分析，根据对系统抽象级别的不同，提出基于MDA的三级建模技术，即计算无关模型(CIM)建模，平台无关模型(PIM)建模，平台相关模型(PSM)建模。详细介绍三个不同抽象级别模型的建模过程，并对它们之间的模型转换加以说明，从整体上描述MDA软件开发的过程，得出一种MDA软件开发方法。

相关文章 | 多维度评价

Select

3. 基于通信序列进程的UML序列图形式化方法

邓建波张立臣邓惠敏徐碧红

计算机应用 2010, 30 (10): 2727-2729.

摘要（1291）

PDF （591KB）（965）

UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义，所以不利于对其所描述的系统进行形式化验证。为此，根据UML2.0语义文档及组合碎片包概念，基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则，实现了UML序列图的形式化，为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。

相关文章 | 多维度评价

Select

4. 普适计算环境下的动态访问控制模型

张立臣王小明

计算机应用

摘要（1817）

PDF （806KB）（1110）

普适计算环境下，主体、客体的状态和上下文信息对授权结果具有决定性影响。针对已有授权模型由于主体、客体状态和上下文信息的缺失而导致模型不适合普适计算环境的问题，提出了一种基于主体、客体的状态和环境上下文信息对主体进行动态授权的访问控制模型，论述了模型的构成元素、体系结构和授权算法。与已有模型相比新模型采用统一的模式描述上下文信息对授权的影响，既保证了模型的简单性，又增强了模型的表达能力，更适合于普适计算环境。

相关文章 | 多维度评价

Select

5. 基于实时语言和面向方面的形式化开发方法

陈生庆;张立臣;陈广明

计算机应用

摘要（988）

PDF （792KB）（823）

面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL，它基于经面向方面扩展的形式化方法AORTZ，在编码阶段应用实时语言PEARL，实现了软件开发各个阶段对面向方面的无缝支持。

相关文章 | 多维度评价

Select

6. 基于X3D的在线虚拟室内漫游系统的研究与应用

丘威，张立臣

计算机应用 2005, 25 (08): 1930-1932. DOI: 10.3724/SP.J.1087.2005.01930

摘要（1191）

PDF （170KB）（1173）

介绍了在网络上基于X3D规范新特点和应用,分析了构建在线虚拟室内漫游系统的关键技术,提出基于X3D技术的虚拟室内漫游场景建模和应用。利用X3D技术设计了在线虚拟室内主场景,通过结合ASP技术实现了一个在Internet上表现的,能和用户交互的,可由用户设计的,可扩展的平台,让用户能够按照自己的意愿漫游的虚拟室内漫游系统。

相关文章 | 多维度评价

Select

7. 基于UML的面向方面的实时系统建模方法

刘瑞成，张立臣

计算机应用 2005, 25 (08): 1874-1877. DOI: 10.3724/SP.J.1087.2005.01874

摘要（1298）

PDF （182KB）（967）

利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。

相关文章 | 多维度评价

Select

8. 基于非精确计算的多错误模式下的容错优化调度算法

罗琼，张立臣

计算机应用 2005, 25 (04): 960-961. DOI: 10.3724/SP.J.1087.2005.0960

摘要（976）

PDF （141KB）（882）

实时系统中每个任务必须在其截止时间内产生逻辑正确结果。但是,由于过载并不保证每个实时任务都能满足此要求。因此,适当降低实时任务精确度以及在错误发生时提供最大利用率的容错优化方法以保证系统的实时性与可靠性变得非常重要。利用非精确调度中任务的可选部分为强制部分的错误恢复提供潜在的时间容余,提出了在多个错误发生时既能保证报酬最大化又能提供强制部分恢复处理的容错优化调度形式算法,并结合实例给出分析过程。

相关文章 | 多维度评价

Select

9. Z实时扩展及基于多视点的应用模式

陈广明，陈生庆，张立臣

计算机应用 2005, 25 (02): 362-364. DOI: 10.3724/SP.J.1087.2005.0362

摘要（712）

PDF （180KB）（904）

RT-Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。

相关文章 | 多维度评价

Select

10. 面向多时间步风功率预测的深度时空网络模型

胡健鹏张立臣

《计算机应用》唯一官方网站 DOI: 10.11772/j.issn.1001-9081.2023121750
预出版日期: 2024-03-13